Alan Bundy: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (17)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

The Nature of Mathematical Proof

The Nature of Mathematical Proof

The Royal Society

Alan Bundy, Michael Atiyah, Angus Macintyre, Donald MacKenzie (Editors)

Рік:

2005

Мова:

english

Файл:

PDF, 3.12 MB

0 / 0

english, 2005

2

Rippling: Meta-Level Guidance for Mathematical Reasoning

Rippling: Meta-Level Guidance for Mathematical Reasoning

Cambridge University Press

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

Рік:

2005

Мова:

english

Файл:

PDF, 996 KB

0 / 0

english, 2005

3

The Computer Modelling of Mathematical Reasoning

The Computer Modelling of Mathematical Reasoning

Рік:

1986

Мова:

english

Файл:

PDF, 4.17 MB

0 / 0

english, 1986

4

The computer modelling of mathematical reasoning

The computer modelling of mathematical reasoning

Рік:

1983

Мова:

english

Файл:

DJVU, 2.48 MB

0 / 0

english, 1983

5

Catalogue of Artificial Intelligence Tools

Catalogue of Artificial Intelligence Tools

Springer-Verlag Berlin Heidelberg

Alan Bundy, Lincoln Wallen (auth.), Alan Bundy, Lincoln Wallen (eds.)

Рік:

1984

Мова:

english

Файл:

PDF, 6.84 MB

0 / 0

english, 1984

6

Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

John Slaney (auth.), Alan Bundy (eds.)

Рік:

1994

Мова:

english

Файл:

DJVU, 8.06 MB

0 / 0

english, 1994

7

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

Рік:

1999

Мова:

english

Файл:

DJVU, 3.65 MB

0 / 0

english, 1999

8

Catalogue of Artificial Intelligence Tools

Catalogue of Artificial Intelligence Tools

Springer Berlin Heidelberg

Alan Bundy (auth.), Alan Bundy (eds.)

Рік:

1986

Мова:

english

Файл:

PDF, 3.63 MB

0 / 0

english, 1986

9

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Alan Bundy, Julian Richardson (auth.), Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

Рік:

1999

Мова:

english

Файл:

PDF, 12.61 MB

0 / 0

english, 1999

10

The computer modelling of mathematical reasoning

The computer modelling of mathematical reasoning

Рік:

1983

Мова:

english

Файл:

DJVU, 2.51 MB

0 / 0

english, 1983

11

General Education in School and College: A Committee Report by Members of the Faculties of Andover, Exeter, Lawrenceville, Harvard, Princeton, and Yale

General Education in School and College: A Committee Report by Members of the Faculties of Andover, Exeter, Lawrenceville, Harvard, Princeton, and Yale

Harvard University Press

Members of the Faculties of Andover, Alan R. Blackmer, Henry W. Bragdon, McGeorge Bundy, E. Harris Harbison, Jr, Charles Seymour, Wendell H. Taylor

Рік:

1952

Мова:

english

Файл:

PDF, 6.51 MB

0 / 5.0

english, 1952

12

Artificial Intelligence Techniques: A Comprehensive Catalogue

Artificial Intelligence Techniques: A Comprehensive Catalogue

Springer-Verlag Berlin Heidelberg

Alan Bundy (auth.), Alan Bundy (eds.)

Рік:

1997

Мова:

english

Файл:

PDF, 3.76 MB

0 / 0

english, 1997

13

MICAI 2000: Advances in Artificial Intelligence: Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings

MICAI 2000: Advances in Artificial Intelligence: Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

Raúl Monroy, Alan Bundy, Ian Green (auth.), Osvaldo Cairó, L. Enrique Sucar, Francisco J. Cantu (eds.)

Рік:

2000

Мова:

english

Файл:

PDF, 7.03 MB

0 / 0

english, 2000

14

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992

Springer-Verlag London

Ina Kraan, David Basin, Alan Bundy (auth.), Kung-Kiu Lau Bsc, PhD, Timothy Paul Clement Ma, DPhil (eds.)

Рік:

1993

Мова:

english

Файл:

PDF, 10.01 MB

0 / 0

english, 1993

15

Catalogue of Artificial Intelligence Techniques

Catalogue of Artificial Intelligence Techniques

Springer-Verlag Berlin Heidelberg

Alan Bundy (auth.), Alan Bundy (eds.)

Рік:

1990

Мова:

english

Файл:

PDF, 5.25 MB

0 / 0

english, 1990

16

Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

John Slaney (auth.), Alan Bundy (eds.)

Рік:

1994

Мова:

english

Файл:

PDF, 12.63 MB

0 / 0

english, 1994

17

MICAI 2000: Advances in Artificial Intelligence: Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings

MICAI 2000: Advances in Artificial Intelligence: Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

Raúl Monroy, Alan Bundy, Ian Green (auth.), Osvaldo Cairó, L. Enrique Sucar, Francisco J. Cantu (eds.)

Рік:

2000

Мова:

english

Файл:

PDF, 8.46 MB

0 / 0

english, 2000